#include "arduino.h"

void setup()
{
	pinMode(13, OUTPUT);
	pinMode(12, OUTPUT);
	pinMode(11, OUTPUT);
	pinMode(10, OUTPUT);
	pinMode(9, OUTPUT);
	
	pinMode(2, INPUT);
	pinMode(3, INPUT);
	pinMode(4, INPUT);
	pinMode(5, INPUT);
	pinMode(6, INPUT);

int main() 
{
	platform_config();
	setup();
	while(1) {
		turn_led_on(0x10101);
		delay(1000);
		turn_led_on(0x01010);
		delay(1000);
		turn_led_on(0x10010);
	}
}
